Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 12.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000C07 | Arnaud Lanoix [France] ; Olga Kouchnarenko [France] | Component Substitution through Dynamic Reconfigurations |
| 002128 | Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | Runtime Verification of Temporal Patterns for Dynamic Reconfigurations of Components |
| 002397 | Arnaud Lanoix [France] ; Julien Dormoy [France] ; Olga Kouchnarenko [France] | Combining Proof and Model-checking to Validate Reconfigurable Architectures |
| 002A20 | Julien Dormoy [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | Using Temporal Logic for Dynamic Reconfigurations of Components |
| 003873 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
| 003E72 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Using CSP||B Components: Application to a Platoon of Vehicles |
| 003F31 | Samuel Colin [France] ; Arnaud Lanoix [France] ; Olga Kouchnarenko [France] ; Jeanine Souquières [France] | Towards Validating a Platoon of Cristal Vehicles using CSP||B |
| 004838 | Samir Chouali [France] ; Samuel Colin [France] ; Ahmed Hammad [France] ; Olga Kouchnarenko [France] ; Arnaud Lanoix [France] ; Hassan Mountassir [France] ; Jeanine Souquières [France] | Requirements for the description of a component in order to use in a component based approach -- Livrable TACOS L2-1.0 |
| 004C51 | Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | How to Verify and Exploit a Refinement of Component-Based Systems |
| 005761 | Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | How to Verify and Exploit a Refinement of Component-based Systems |
| 005762 | Olga Kouchnarenko [France] ; Arnaud Lanoix [France] | How to Verify and Exploit a Refinement of Component-based Systems |
| 007D58 | Olga Kouchnarenko [France] ; Arnaud Lanoix | Refinement and Verification of Synchronized Component-based Systems |
| This area was generated with Dilib version V0.6.33. |  |